Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 82.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001089 | Olivier Bournez [France] ; Daniel Graça [Portugal] ; Emmanuel Hainry [France] | Computation with perturbed dynamical systems |
| 002534 | Olivier Bournez [France] ; Walid Gomaa [Égypte] ; Emmanuel Hainry [France] | Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions |
| 002E61 | Olivier Bournez [France] ; Gilles Dowek [France] ; Rémi Gilleron [France] ; Serge Grigorieff [France] ; Jean-Yves Marion [France] ; Simon Perdrix [France] ; Sophie Tison [France] | Décidabilité et Complexité |
| 003032 | Olivier Bournez [France] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | Robust Computations with Dynamical Systems |
| 003354 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | A dynamic approach for load balancing |
| 003442 | Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France] | Implicit complexity in recursive analysis |
| 003B72 | Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler [France] | On the convergence of population protocols when population goes to infinity |
| 003B83 | Dominique Barth [France] ; Johanne Cohen [France] ; Olivier Bournez [France] ; Octave Boussaton [France] | DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME |
| 003D05 | Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France] | Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions |
| 003D37 | Olivier Bournez [France] ; Jérémie Chalopin [France] ; Johanne Cohen [France] | Playing With Population Protocols |
| 003E83 | Olivier Bournez [France] ; Philippe Chassaing [France] ; Johanne Cohen [France] ; Lucas Gerin [France] ; Xavier Koegler | On the Convergence of a Population Protocol When Population Goes to Infinity |
| 003E85 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Distributed Learning of Wardrop Equilibria |
| 004400 | Dominique Barth [France] ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Distributed Learning of Wardrop Equilibria |
| 004732 | Dominique Barth ; Olivier Bournez [France] ; Octave Boussaton [France] ; Johanne Cohen [France] | Convergences et dynamiques du routage dans les réseaux |
| 004743 | Olivier Bournez [France] ; Emmanuel Hainry [France] | On the Computational Capabilities of Several Models |
| 004A43 | Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | Polynomial differential equations compute all real computable functions on computable compact intervals |
| 004C13 | Olivier Bournez [France] ; Emmanuel Hainry [France] | On the Computational Capabilities of Several Models |
| 004E99 | Olivier Bournez [France] ; Manuel L. Campagnolo | A Survey on Continuous Time Computation |
| 004F15 | Olivier Bournez [France] | Continuous Models. Computations. Distributed Algorithms. |
| 005157 | Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Termination in finite mean time of a CSMA/CA rule-based model |
| 005230 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Recursive Analysis Characterized as a Class of Real Recursive Functions |
| 005373 | Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France] | The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation |
| 005600 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France] | Implicit complexity over an arbitrary structure : Quantifier alternations |
| 005601 | Olivier Bournez [France] | How much can analog and hybrid systems be proved (super-)Turing |
| 005703 | Olivier Bournez [France] ; Garnier Florent [France] ; Claude Kirchner [France] | Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b |
| 005722 | Olivier Bournez [France] ; Manuel Lameiras Campagnolo ; Daniel S. Graça ; Emmanuel Hainry [France] | The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation |
| 005916 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$ |
| 005A43 | Olivier Bournez [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | From Chemical Rules to Term Rewriting |
| 005A44 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
| 005C39 | Olivier Bournez [France] | How much can analog and hybrid systems be proved (super-)Turing |
| 006202 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Real Recursive Functions and Real Extensions of Recursive Functions |
| 006206 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
| 006370 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Elementarily computable functions over the real numbers and R-sub-recursive functions |
| 006618 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures |
| 006656 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures |
| 006C43 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An Analog Characterization of Elementarily Computable Functions over the Real Numbers |
| 006D35 | Olivier Bournez [France] ; Florent Garnier [France] | Proving Positive Almost-Sure Termination |
| 006D61 | Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Stratégies de réécriture probabiliste dans ELAN4 |
| 006F04 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Real Recursive Functions and Real Extensions of Recursive Functions |
| 006F89 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Implicit Complexity over an Arbitrary Structure: Quantifier Alternations |
| 007024 | Olivier Bournez [France] ; Emmanuel Hainry [France] | Elementarily Computable Functions Over the Real Numbers and $\mathbb{R}$-Sub-Recursive Functions |
| 007084 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog Characterization of Elementarily Computable Functions Over the Real Numbers |
| 007085 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog Characterization of Elementarily Computable Functions Over the Real Numbers |
| 007245 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH |
| 007246 | Olivier Bournez [France] ; Mathieu Hoyrup | Rewriting Logic and Probabilities |
| 007254 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007256 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007276 | Olivier Bournez [France] ; Felipe Cucker ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time |
| 007999 | Olivier Bournez [France] ; Mathieu Hoyrup [France] | Rewriting Logic and Probabilities |
| 007A86 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] ; Jean-Yves Marion [France] | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time |
| 007A93 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007B15 | Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007C24 | Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5 |
| 007C25 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 |
| 008008 | Olivier Bournez [France] ; Paulin De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion and Calculus over an Arbitrary Structure |
| 008010 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
| 008023 | Olivier Bournez [France] | A Generalization of Equational Proof Theory? |
| 008240 | Olivier Bournez [France] ; Michael Branicky | On the mortality problem for matrices of low dimensions |
| 008764 | Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic Rewrite Strategies. Applications to ELAN |
| 008970 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3 |
| 008971 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2 |
| 008A71 | Olivier Bournez [France] ; Paulin De Naurois [France] ; Jean-Yves Marion [France] | Safe Recursion over an Arbitrary Structure: Deterministic Polynomial Time |
| 008C11 | Olivier Bournez [France] | A Generalization of Equational Proof Theory? |
| 008C92 | Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
| 008C93 | Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
| 009206 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
| 009264 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
| 009488 | Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1 |
| 009E15 | Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis [États-Unis] | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
| 009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
| 009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
| 009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
| 00A124 | Vincent D. Blondel ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis | The stability of saturated linear dynamical systems is undecidable |
| 00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
| 00A174 | Olivier Bournez [France] ; Michael Branicky | On the mortality problem for matrices of low dimensions |
| 00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
| 00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
| 00A465 | Olivier Bournez [France] | Some bounds on the computational power of piecewise constant derivative systems |
| 00A478 | Olivier Bournez [France] | Achilles and the tortoise climbing up the hyper-arithmetical hiearchy |
| 00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
| 00AE93 | Patrick Gros [France] ; Olivier Bournez [France] ; Edmond Boyer [France] | Using geometric quasi-invariants to match and model images of line segments |
| 00B614 | Olivier Bournez [France] ; Michael Branicky | On matrix mortality in low dimensions |
| This area was generated with Dilib version V0.6.33. |  |